14

10.1039/b102988f

Year:
2001
Language:
english
File:
PDF, 259 KB
english, 2001
21

10.1039/b105351p

Year:
2001
Language:
english
File:
PDF, 271 KB
english, 2001
22

10.1039/b102837p

Year:
2001
Language:
english
File:
PDF, 242 KB
english, 2001
34

Integrating safety and formal analyses using UML and PFS

Year:
2007
Language:
english
File:
PDF, 716 KB
english, 2007
36

CADi: An architecture for Z tools and its implementation

Year:
1995
Language:
english
File:
PDF, 1.63 MB
english, 1995
43

Phasmidic phases in macrocyclic liquid crystals

Year:
1996
Language:
english
File:
PDF, 1.84 MB
english, 1996